Automated Deduction in Multiple...
Hardback
Published 06 Jan 1994
- $164.93
Search for "Hahnle Reiner Hahnle"
941 results
-
-
$7.93off
Tests and Proofs Programming an...
Paperback
Published 31 Mar 2008Save $7.93
- RRP $61.51
- $53.58
-
$22.09off
Automated Reasoning Lecture Not...
Paperback
Published 30 Jun 2010Save $22.09
- RRP $129.20
- $107.11
-
$5.85off
Fundamental Approaches to Softw...
Paperback
Published 04 Apr 2019Save $5.85
- RRP $61.51
- $55.66
-
$2.24off
Theorem Proving With Analytic T...
Paperback
Published 26 Apr 1995Save $2.24
- RRP $61.51
- $59.27
-
$14.64off
Verification of Object-Oriented...
Paperback
Published 03 Jan 2007Save $14.64
- RRP $123.03
- $108.39
-
$6.84off
Deductive Software Verification...
Paperback
Published 09 Dec 2020Save $6.84
- RRP $61.51
- $54.67
-
$11.25off
Active Object Languages: Curren...
Paperback
Published 29 Jan 2024Save $11.25
- RRP $88.85
- $77.60
-
$7.27off
Leveraging Applications of Form...
Paperback
Published 12 Oct 2012Save $7.27
- RRP $61.51
- $54.24
-
Fundamental Approaches to Softw...
Paperback | German
Published 06 Apr 2019